проблема разрешимости

См. также в других словарях:

• Проблема разрешимости — Проблема разрешимости  вопрос, сформулированный в рамках какой либо формальной системы, требующий ответа «да» или «нет», возможно, зависящего от значений некоторых входных параметров. Например, проблема «дано два числа x и y, делится ли x на …   Википедия

• проблема разрешимости — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN decision problem …   Справочник технического переводчика

• ДИОФАНТОВЫХ УРАВНЕНИИ ПРОБЛЕМА РАЗРЕШИМОСТИ — проблема отыскания алгоритма для распознавания по любому диофантову уравнению, имеет ли оно решение. Существенным в постановке проблемы является требование найти универсальный метод, к рый должен быть пригоден для любого уравнения (все известные… …   Математическая энциклопедия

• разрешения проблема (разрешимости проблема) — проблема нахождения для данной дедуктивной теории общего метода, позволяющего решать, может ли отдельное утверждение, сформулированное в терминах теории, быть доказано в ней или нет. Этот общий метод, являющийся эффективной процедурой… …   Словарь терминов логики

• Проблема остановки — В данной статье имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок …   Википедия

• Проблема зависания — В теории вычислимости проблема остановки это проблема разрешимости, которая может неформально быть поставлена в виде: Даны описание алгоритма и его начальные входные данные, требуется определить, сможет ли выполнение алгоритма с этими данными… …   Википедия

• Проблема останова — В теории вычислимости проблема остановки это проблема разрешимости, которая может неформально быть поставлена в виде: Даны описание алгоритма и его начальные входные данные, требуется определить, сможет ли выполнение алгоритма с этими данными… …   Википедия

• Проблема разрешения — В математике проблемой разрешения (Entscheidungsproblem) называется задача, сформулированная Давидом Гильбертом в 1928 году: найти алгоритм, который бы принимал в качестве входных данных описание любой проблемы разрешимости (формального языка и… …   Википедия

• разрешения проблема —         РАЗРЕШЕНИЯ ПРОБЛЕМА задача поиска алгоритма, решающего массовую проблему, состоящую из однотипных вопросов о конструктивных объектах (словах над фиксированным конечным алфавитом), ответы на которые даются с помощью некоторого алгоритма;… …   Энциклопедия эпистемологии и философии науки

• РАЗРЕШЕНИЯ ПРОБЛЕМА — алгоритмическая проблема, в к рой для заданного множества Атребуется построить алгоритм, разрешающий Аотносительно другого множества В, включающего , т. е. такой алгоритм , к рый применим ко всякому элементу из В, причем , если , и , если .… …   Математическая энциклопедия

• АЛГОРИТМИЧЕСКАЯ ПРОБЛЕМА — проблема, в к рой требуется найти единый метод ( алгоритм).для решения бесконечной серии однотипных единичных задач. Такие проблемы иногда наз. также массовыми проблемами. А. п. возникали и решались в различных областях математики на протяжении… …   Математическая энциклопедия